An example of reachability analysis (taken from [Braek])

Diagrams only - see text ... - voir le texte ...